Merge branch 'wip/otte/for-master' into 'master'
authorBenjamin Otte <otte.benjamin@googlemail.com>
Tue, 20 Oct 2020 14:05:49 +0000 (14:05 +0000)
committerBenjamin Otte <otte.benjamin@googlemail.com>
Tue, 20 Oct 2020 14:05:49 +0000 (14:05 +0000)
Wip/otte/for master

Closes #3280

See merge request GNOME/gtk!2725


Trivial merge